
	<?php
    session_start();
	$_SESSION["User"] = null;
	$_SESSION["UserIDst"] = null;
	session_destroy();
?>

<script type="text/javascript">window.location = "index.php"</script>